|
|
Informační systém plynových revizí
Piják, Marek ; Grézl, František (oponent) ; Szőke, Igor (vedoucí práce)
Tato diplomová práce se zabývá vytvořením Informačního systému pro revizní techniky, který bude schopen vytvářet, šablonovat a archivovat revizní zprávy. Tento systém bude schopen zpětně dohledávat v databázi veškeré dokumenty související s danou revizí, dále bude poskytovat zpětnou kontrolu veškerých výpočtů a platnost licencí spolupracujících osob.
|
|
|
Pro lidi srozumitelný jazyk temporální logiky
Žilka, Lukáš ; Letko, Zdeněk (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá automatickým překladem z přirozeného jazyka do temporální logiky. Existující výzkum na toto téma je shrnut a práce je na něm založena. Pro specifikaci temporálních vlastností, je vytvořen kontrolovaný jazyk, podmnožina anglického jazyka. Hlavním přínosem práce jsou algoritmy pro překlad mezi přirozeným jazykem a temporální logikou, založený na zpracovávání a prohledávání vzorů v gramatických závislostech Standfordského parseru angličtiny. Další směr vývoje je diskutován na konci.
|
|
|
Informační systém plynových revizí
Piják, Marek ; Grézl, František (oponent) ; Szőke, Igor (vedoucí práce)
Tato diplomová práce se zabývá vytvořením Informačního systému pro revizní techniky, který bude schopen vytvářet, šablonovat a archivovat revizní zprávy. Tento systém bude schopen zpětně dohledávat v databázi veškeré dokumenty související s danou revizí, dále bude poskytovat zpětnou kontrolu veškerých výpočtů a platnost licencí spolupracujících osob.
|
|
|
Pro lidi srozumitelný jazyk temporální logiky
Žilka, Lukáš ; Letko, Zdeněk (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá automatickým překladem z přirozeného jazyka do temporální logiky. Existující výzkum na toto téma je shrnut a práce je na něm založena. Pro specifikaci temporálních vlastností, je vytvořen kontrolovaný jazyk, podmnožina anglického jazyka. Hlavním přínosem práce jsou algoritmy pro překlad mezi přirozeným jazykem a temporální logikou, založený na zpracovávání a prohledávání vzorů v gramatických závislostech Standfordského parseru angličtiny. Další směr vývoje je diskutován na konci.
|
|
|
Modelování podnikových procesů
Panuška, Martin ; Řepa, Václav (vedoucí práce) ; Svatoš, Oleg (oponent)
V diplomové práci se zabýváme modelováním podnikových procesů z pohledu logiky. Tento pohled má několik výhod. Za prvé, protože logika prvního řádu je formálním logickým systémem, umožňuje nám důkladně pochopit základy procesního modelování. Za druhé, poté, co porozumíme logickým základům modelování podnikových procesů, můžeme vytvořit jazyk pro takové modelování postavený výhradně na logice nebo vyjádřit existující jazyk za použití logiky. Obojí pak může být využitelné pro usuzování umělé inteligence. Za třetí, model podnikových procesů, u kterého existuje vyjádření pomocí logiky (nebo jiného deklarativního jazyka), může být snadno uložen v deklarativní znalostní bázi. Za čtvrté, procesní modely založené na logice můžou být využity ve firmách jako základ pro znalostní management. A za páté, věda o logice nabízí množství různých sémantických rozšíření, které můžou být využity za účelem rozšíření výrazových prostředků jazyka pro modelování podnikových procesů. Prvním cílem práce je vypracování důkladného přehledu literatury, týkající se obou našich ob-lastí -- modelování podnikových procesů a temporální logiky. Souvisejícím druhým cílem je pro-zkoumání možností logiky reprezentovat procesy a obecně pojem času a poskytnout techniky k logické reprezentaci procesů. Následně by měly být poskytnuty příklady, které dokážou, že vy-brané techniky jsou schopné poskytnout výhody vyjmenované v prvním odstavci. Třetím cílem je navržení vylepšení současného přístupu k modelování podnikových procesů a poskytnutí re-levantních příkladů. Nakonec je možné navrhnout i způsoby zlepšení prezentovaných technik. Hlavním přínosem práce je, že představuje slušný základ pro další výzkum předmětné oblasti. Pro začátečníky, ale i pokročilé je práce dobrým odrazovým můstkem.
|
host ::
RSS.